<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN"> 
<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
    <link rel="stylesheet" type="text/css" href="style.css">
    <meta name="generator" content="Helen">
    <title>Color Scheme</title>
  </head>
  <body>
    <p>
       &nbsp;
    </p>
    <div class="mainheader">
      Color Scheme
    </div>
    <div style=" margin-top: 5px; margin-bottom: 5px;">
      There are many different options relating to the colors used in the highlighting of
      identifiers. &nbsp;Each type of identifier can have its own active highlight color and
      regular highlight color. &nbsp;The active highlight color is used when the text cursor is
      placed on that instance of identifier. &nbsp;The regular highlight color is used for all
      other instances in the same file of that identifier.
    </div>
    <div style=" margin-top: 5px; margin-bottom: 5px;">
      <center>
        <img src="../images/config-colorScheme.png" alt="Color Scheme">
      </center>
    </div>
    <div style=" margin-top: 5px; margin-bottom: 5px;">
      The types of identifiers that are supported are {Class, Method, Field, Parameter, and Local
      Variable}. &nbsp;Anything that doesn't fit into those types are considered Other. &nbsp;In
      addition to customizing the color for these different types of identifiers, the highlighting
      can be toggled on or off with the Enabled? checkbox.
    </div>
    <div class="mainheader">
      Read/Write
    </div>
    <div style=" margin-top: 5px; margin-bottom: 5px;">
      Certain types of identifiers {Field, Parameter, and Local Variable} can be read or written to
      in the code. &nbsp;In other words, every time a new value is assigned to one of these special
      types of identifiers, it is considered a write. &nbsp;All other usages of these special types
      of identifiers are considered reads. &nbsp;The distinction between a read and write can
      further be customized with separate colors. &nbsp;This makes it easy to spot all places where
      a certain variable is changed in value.
    </div>
    <p>
       &nbsp;
    </p>
  </body>
</html>
